$\vdash$  $\forall$$p$,$q$:$\mathbb{B}$. $p$ $\oplus$b $q$ $\in$ $\mathbb{B}$